Inserisci la parola da cercare
existential quantifier
Traduzioni
An existential quantifier is used to express that there is at least one element for which a proposition holds.
Существующий квантор используется, чтобы выразить, что существует хотя бы один элемент, для которого утверждение верно.